زنجیربندی عملکرد سرویس مبتنی بر گرامر در شبکه‌های نرم‌افزار محور

زنجیربندی عملکرد سرویس یک معماری برای همنوایی سرویس‌های شبکه است که انتخاب را به شبکه محول می‌کند. این معماری اساساً یک ساختار سیاست دهی است که باید زنجیره مناسب از سرویس‌ها را تشکیل دهد. مدیریت این شبکه‌ها به دلیل ترکیبات متفاوت سرویس‌ها با پیکربندی اختصاصی مستعد خطا می‌باشند بر همین اساس راه‌حل‌هایی نیاز خواهد بود که ابهام‌زدایی مناسبی را برای چنین شرایطی فراهم کنند؛ بنابراین قبل از اجرا باید صحت زنجیرها کاملاً کنترل شود که این نیازمند تعریف قواعد زنجیربندی است. ازجمله مسائلی که در این معماری مطرح است: بررسی صحت زنجیره‌ها و همچنین کاهش تعداد ترکیبات سرویس‌های زنجیره است که برای حل این مسائل در این مقاله از گرامر استفاده ‌شده است. به این صورت که بر مبنای سناریوهای مطرح‌شده در نیروی کار مهندسی اینترنت ابتدا آتوماتان آن‎ها را ایجاد کرده و سپس با استفاده از عبارت منظم و آتوماتان متناهی، گرامر آن‎ها به دست می‌آید. به دنبال آن، با استفاده از الگوریتم (Cocke–Younger–Kasami) ارزیابی گرامر انجام‌شده و تعداد ترکیبات سرویس‌ها نیز نشان داده‌شده است. نتایج نشان می‌دهد که می‌توان با این گرامر صحت زنجیره سرویس‌ها را بررسی کرد و همچنین تعداد ترکیبات سرویس‌های زنجیره‌ها را نیز به میزان قابل‌توجهی کاهش داد.